symplectic manifold